Reachability Analysis Applied to Space Situational Awareness
نویسندگان
چکیده
Several existing and emerging applications of Space Situational Awareness (SSA) relate directly to spacecraft Rendezvous, Proximity Operations, and Docking (RPOD) and Formation / Cluster Flight (FCF). Observation correlation of nearby objects, control authority estimation, sensor-track re-acquisition, formation re-configuration feasibility, ‘stuck’ thrusters, and worst-case passive safety analysis are some areas where analytical reachability methods have potential utility. Existing reachability theory is applied to RPOD and FCF regimes. Necessary conditions for maximum position reachability are developed, allowing for a reduction in reachable set computation dimensionality. The nonlinear relative equations of Keplerian motion are introduced and used for all reachable position set determinations. Examples for both circular and eccentric orbits are examined and compared. Weaknesses with the current implementation are discussed and future numerical improvements and analytical efforts are discussed.
منابع مشابه
Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملAbstracts of Technical Papers
S OF TECHNICAL PAPERS 2017 TABLE OF CONTENTS ORBITAL DEBRIS Session Chairs: Carolin Frueh, Purdue University and Tim Flohrer, ESA/ESOC Space Debris Office Debris Albedo from Laser Ablation in Low and High Vacuum: Comparisons to Hypervelocity Impact ................. 1 Gouri Radhakrishnan, The Aerospace Corporation A Search for Debris from Two Titan 3C Transtage Breakups at GEO with a 6.5-m Mage...
متن کاملAas 13-359 Autonomy Architecture for a Raven-class Telescope with Space Situational Awareness Applications
This paper investigates possible autonomy architecture designs of a Raven-class telescope as applied to the tracking and high level characterization problem in Space Situational Awareness (SSA). Various levels of autonomy are defined and existing systems and capabilities are discussed. Telescope interactions with distributed sensor networks such as the Space Surveillance Network (SSN) are revie...
متن کاملOntology Architectures for the Orbital Space Environment and Space Situational Awareness Domain
This paper applies some ontology architectures to the space domain, specifically the orbital and near-earth space environment and the space situational awareness domain. I briefly summarize local, single and hybrid ontology architectures, and offer potential space ontology architectures for each by showing how actual space data sources and space organizations would be involved.
متن کاملModel Checking Based on Kronecker Algebra
Reachability analysis is a general approach to analyze Petri nets, but the state space explosion often permits its application. In the eld of performance analysis of stochastic Petri nets, modular representations of reachability graphs using Kronecker algebra have been successfully applied. This paper describes how a Kronecker representation of the reachability graph is employed for exploration...
متن کامل